Proof and computation II - from proof theory and univalent mathematics to program extraction and verification
- Författare
- (Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg (Eds.).)
- Genre
- Bibliografi
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Wiley | 2022 | Singapore, Singapore | 408 pages | 978-981-12-3647-1 |